$\forall$$T$:Type, $P$:($T$$\rightarrow\mathbb{B}$), $L$:($T$ List). ($\forall$$x$$\in$$L$. $\uparrow$$P$($x$)) $\Rightarrow$ (filter($P$;$L$) = $L$)